Two-Stage Programming
نویسندگان
چکیده
This paper presents the application of Two-Stage Programming (2sp) for developing error-free paral-lel/distributed applications through automatic verii-cation of computed results with respect to a given speciication. The presentation focuses the case study of the parallel block-striped partitioning variant of Prim's algorithm for nding a minimum spanning tree of a dense graph. We show that the 2sp implementation of the algorithm succeeds to provide: a full functional (formal) speciication, a speciication-consistent (reliable) imperative coordination, automatic error detection at run-time, enhanced support for debugging, and good eeciency.
منابع مشابه
Two-stage fuzzy-stochastic programming for parallel machine scheduling problem with machine deterioration and operator learning effect
This paper deals with the determination of machine numbers and production schedules in manufacturing environments. In this line, a two-stage fuzzy stochastic programming model is discussed with fuzzy processing times where both deterioration and learning effects are evaluated simultaneously. The first stage focuses on the type and number of machines in order to minimize the total costs associat...
متن کاملReconfiguration of Supply Chain: A Two Stage Stochastic Programming
In this paper, we propose an extended relocation model for warehouses configuration in a supply chain network, in which uncertainty is associated to operational costs, production capacity and demands whereas, existing researches in this area are often restricted to deterministic environments. In real cases, we usually deal with stochastic parameters and this point justifies why the relocation m...
متن کاملTwo-stage DEA with Fuzzy Data
Data envelopment analysis is a nonparametric technique checking efficiency of DMUs using math programming. In conventional DEA, it has been assumed that the status of each measure is clearly known as either input or output. Kao and Hwang (2008) developed a data envelopment analysis (DEA) approach for measuring efficiency of decision processes which can be divided into two stages. The first stag...
متن کاملA Multi-Stage Single-Machine Replacement Strategy Using Stochastic Dynamic Programming
In this paper, the single machine replacement problem is being modeled into the frameworks of stochastic dynamic programming and control threshold policy, where some properties of the optimal values of the control thresholds are derived. Using these properties and by minimizing a cost function, the optimal values of two control thresholds for the time between productions of two successive nonco...
متن کاملA Two Stage Stochastic Programming Model of the Price Decision Problem in the Dual-channel Closed-loop Supply Chain
In this paper, we propose a new model for designing integrated forward/reverse logistics based on pricing policy in direct and indirect sales channel. The proposed model includes producers, disposal center, distributers and final customers. We assumed that the location of final customers is fixed. First, a deterministic mixed integer linear programming model is developed for integrated logistic...
متن کاملA two-stage stochastic programming model for the optimal sizing of hybrid PV/diesel/battery in hybrid electric ship system
Ships play the major role in bulk transportation and they need their special energy system. This paper proposes a stochastic programing method for optimal sizing of a hybrid ship power system with energy storage system (ESS), photovoltaic power (PV) and diesel generator. To account for uncertainties, in this study a two-stage stochastic mixed-integer non-linear programing is used to model the o...
متن کامل